#define VGA_DIAPLAY_BUFFER	0xb8000

void vga_display_string(char *string)
{
	char *vga_buffer = (char *)VGA_DIAPLAY_BUFFER;
	while (*string != '\0') {
		*vga_buffer = *string++;
		*(vga_buffer + 1) = 0x4;
		vga_buffer += 2;//VGA buffer format: ASCII + Character color
	}
}

void main()
{
	vga_display_string("Welcome to Tiny System!");
}
